Qiu, Zongyan: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (66)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Graphene Oxides Decorated with Carnosine as An Adjuvant to Modulate Innate Immune and Improve Adaptive Immunity in Vivo

Meng, Chunchun, Zhi, Xiao, Li, Chao, Li, Chuanfeng, Chen, Zongyan, Qiu, Xusheng, Ding, Chan, Ma, Lijun, Lu, Hongmin, Chen, Di, Liu, Guangqing, Cui, Daxiang

Журнал:

ACS Nano

Рік:

2016

Мова:

english

Файл:

PDF, 2.59 MB

english, 2016

Graph transformations for object-oriented refinement

Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu

Журнал:

Formal Aspects of Computing

Рік:

2009

Мова:

english

Файл:

PDF, 1.69 MB

english, 2009

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Patterns with Algebraic Properties in BPEL0

Pu, Geguang, Zhu, Huibiao, He, Jifeng, Qiu, Zongyan, Yang, Hongli, Zhao, Xiangpeng

Рік:

2006

Мова:

english

Файл:

PDF, 307 KB

english, 2006

A dynamic stochastic model for automatic grammar-based test generation

Guo, Hai-Feng, Qiu, Zongyan

Журнал:

Software: Practice and Experience

Рік:

2015

Мова:

english

Файл:

PDF, 1.15 MB

english, 2015

[IEEE 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Sophia Antipolis, France (2017.9.13-2017.9.15)] 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Automatic fine-grained locking generation for shared data structures

Liu, Haiyang, Hu, Tingting, Qiu, Zongyan

Рік:

2017

Мова:

english

Файл:

PDF, 286 KB

english, 2017

Integrating Time and Resource into Circus

Geguang Pu, Zongyan Qiu, Jifeng He

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 296 KB

english, 2005

Towards the Semantics and Verification of BPEL4WS

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 355 KB

english, 2006

An algebraic hardware/software partitioning algorithm

Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang

Журнал:

Journal of Computer Science and Technology

Рік:

2002

Мова:

english

Файл:

PDF, 688 KB

english, 2002

Exploring optimal solution to hardware/software partitioning for synchronous model

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi

Журнал:

Formal Aspects of Computing

Рік:

2005

Мова:

english

Файл:

PDF, 243 KB

english, 2005

From Statecharts to Verilog: a formal approach to hardware/software co-specification

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu

Журнал:

Innovations in Systems and Software Engineering

Рік:

2006

Мова:

english

Файл:

PDF, 509 KB

english, 2006

Verifying BPEL-like programs with Hoare logic

Chenguang Luo, Shengchao Qin, Zongyan Qiu

Журнал:

Frontiers of Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 262 KB

english, 2008

A semantic model of confinement and Locality theorem

Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu

Журнал:

Frontiers of Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 405 KB

english, 2010

Band-Edge Electronic Structure of β-In2S3: The Role of s or p Orbitals of Atoms at Different Lattice Positions

Dr. Zongyan Zhao, Yuechan Cao, Juan Yi, Xijia He, Chenshuo Ma, Prof. Dr. Jianbei Qiu

Журнал:

ChemPhysChem

Рік:

2012

Мова:

english

Файл:

PDF, 1.44 MB

english, 2012

Effect of optical basicity on broadband infrared fluorescence in erbium-doped germanate glasses

Rongfei Wang, Dacheng Zhou, Zongyan Zhao, Zhengwen Yang, Zhiguo Song, Kan Zhu, Yuanyuan Xu, Jianbei Qiu

Журнал:

Journal of Alloys and Compounds

Рік:

2012

Мова:

english

Файл:

PDF, 416 KB

english, 2012

Study on the effect of apatite structure on spectroscopic properties of bismuth activated alkaline earth metal chlorophosphate [M5(PO4)3Cl; M = Ca, Sr and Ba]

Li, Chen, Li, Yongjin, Wang, Xue, Wang, Qi, Song, Zhiguo, Qiu, Jianbei, Zhao, Zongyan, Yang, Zhengwen, Yin, Zhaoyi, Zhou, Dacheng

Журнал:

Materials Chemistry and Physics

Рік:

2013

Мова:

english

Файл:

PDF, 592 KB

english, 2013

Significantly enhanced superbroadband NIR emission in bismuth-doped calcium aluminophosphsilicate glasses by PbO substitution

Zhiguo Song, Chen Li, Yongjin Li, Zhengwen Yang, Dacheng Zhou, Zhaoyi Yin, Qi Wang, Yong Yang, Zongyan Zhao, Xue Yu, Haibin Li, Jianbei Qiu

Журнал:

Materials Research Bulletin

Рік:

2013

Мова:

english

Файл:

PDF, 515 KB

english, 2013

The influence of alkali ions size on the superbroadband NIR emission from bismuth-doped alkali aluminoborophosphsilicate glasses

Zhiguo Song, Chen Li, Yongjin Li, Zhengwen Yang, Dacheng Zhou, Zhaoyi Yin, Xue Wang, Qi Wang, Tran Minh Hau, Zongyan Zhao, Yong Yang, Xue Yu, Jianbei Qiu

Журнал:

Optical Materials

Рік:

2012

Мова:

english

Файл:

PDF, 445 KB

english, 2012

Electronic structure and optical properties of wurtzite-kesterite Cu2ZnSnS4

Zhao, Zongyan, Ma, Chenshuo, Cao, Yuechan, Yi, Juan, He, Xijia, Qiu, Jianbei

Журнал:

Physics Letters A

Рік:

2013

Мова:

english

Файл:

PDF, 795 KB

english, 2013

[IEEE 2012 Symposium on Photonics and Optoelectronics (SOPO 2012) - Shanghai, China (2012.05.21-2012.05.23)] 2012 Symposium on Photonics and Optoelectronics - Synthesis and Near-Infrared Fluorescent Properties of Nd3+-Yb3+ Co-Doped Lanthanum Phosphate

Cao, Yuechan, Zhao, Zongyan, Yin, Zhaoyi, Song, Zhiguo, Zhou, Dacheng, Wang, Rongfei, Qiu, Jianbei

Рік:

2012

Мова:

english

Файл:

PDF, 370 KB

english, 2012

[IEEE 2011 IEEE Asia-Pacific Services Computing Conference (APSCC) - Jeju, Korea (South) (2011.12.12-2011.12.15)] 2011 IEEE Asia-Pacific Services Computing Conference - Generating Scenarios from Web Service Choreography

Ke, Zhang, Zongyan, Qiu, Hongli, Yang

Рік:

2011

Мова:

english

Файл:

PDF, 292 KB

english, 2011

Ca2Al2SiO7:Bi3+, Eu3+, Tb3+: A potential single-phased tunable-color-emitting phosphor

Yang, Penghui, Yu, Xue, Yu, Hongling, Jiang, Tingming, Xu, Xuhui, Yang, Zhengwen, Zhou, Dacheng, Song, Zhiguo, Yang, Yong, Zhao, Zongyan, Qiu, Jianbei

Журнал:

Journal of Luminescence

Рік:

2013

Мова:

english

Файл:

PDF, 1.05 MB

english, 2013

[IEEE IEEE International Conference on e-Business Engineering (ICEBE'07) - Hong Kong, China (2007.10.24-2007.10.26)] IEEE International Conference on e-Business Engineering (ICEBE'07) - A QoS View ofWeb Service Choreography

Xiangpeng, Zhao, Chao, Cai, Hongli, Yang, Zongyan, Qiu

Рік:

2007

Мова:

english

Файл:

PDF, 452 KB

english, 2007

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Verification of channel passing in choreography with model checking

Peng, Liyang, Cai, Chao, Zongyan, Qiu, Pu, Geguang

Рік:

2009

Мова:

english

Файл:

PDF, 111 KB

english, 2009

[IEEE 2008 IEEE International Symposium on Service-Oriented System Engineering (SOSE) - Jhongli, Taiwan (2008.12.18-2008.12.19)] 2008 IEEE International Symposium on Service-Oriented System Engineering - Model-Checking of Web Services Choreography

Yang, Hongli, Zhao, Xiangpeng, Cai, Chao, Qiu, Zongyan

Рік:

2008

Мова:

english

Файл:

PDF, 202 KB

english, 2008

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - An Approach to Check Choreography with Channel Passing in WS-CDL

Chao, Cai, Zongyan, Qiu

Рік:

2008

Мова:

english

Файл:

PDF, 217 KB

english, 2008

Confinement framework for encapsulating objects

Qin Shu, Zongyan Qiu, Shuling Wang

Журнал:

Frontiers of Computer Science

Рік:

2013

Мова:

english

Файл:

PDF, 1.47 MB

english, 2013

[IEEE 2012 Symposium on Photonics and Optoelectronics (SOPO 2012) - Shanghai, China (2012.05.21-2012.05.23)] 2012 Symposium on Photonics and Optoelectronics - Hydrothermal Synthesis Nano FAP : Nd3+ as Biological Probe with Near-Infrared to Near-Infrared Luminescence

Wang, Xue, Song, Zhiguo, Yin, Zhaoyi, Yang, Zhengwen, Zhou, Dacheng, Wang, Rongfei, Yang, Yong, Zhao, Zongyan, Li, Chen, Xu, Yuanyuan, Yu, Xue, Qiu, Jianbei

Рік:

2012

Мова:

english

Файл:

PDF, 415 KB

english, 2012

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 6991 || Refining Nodes and Edges of State Machines

Qin, Shengchao, Qiu, Zongyan

Рік:

2011

Мова:

english

Файл:

PDF, 238 KB

english, 2011

Luminescence properties of Sm3+-doped TiO2 nanoparticles: Synthesis, characterization, and mechanism

Cao, Yuechan, Zhao, Zongyan, Yi, Juan, Ma, Chenshuo, Zhou, Dacheng, Wang, Rongfei, Li, Chen, Qiu, Jianbei

Журнал:

Journal of Alloys and Compounds

Рік:

2013

Мова:

english

Файл:

PDF, 2.40 MB

english, 2013

Synthesis and photoluminescence properties of MgAl(PO4)O:Eu3+ red phosphor for white LEDs

Song, Zhiguo, Xu, Yuanyuan, Li, Chen, Li, Yongjin, Zhao, Zongyan, Yang, Zhengwen, Zhou, Dacheng, Yin, Zhaoyi, Li, Haibin, Qiu, Jianbei

Журнал:

Ceramics International

Рік:

2013

Мова:

english

Файл:

PDF, 869 KB

english, 2013

[ACM Press the 16th international conference - Banff, Alberta, Canada (2007.05.08-2007.05.12)] Proceedings of the 16th international conference on World Wide Web - WWW '07 - Towards the theoretical foundation of choreography

Qiu, Zongyan, Zhao, Xiangpeng, Cai, Chao, Yang, Hongli

Рік:

2007

Мова:

english

Файл:

PDF, 221 KB

english, 2007

Monophasic zircon-type tetragonal Eu1−xBixVO4 solid-solution: synthesis, characterization, and optical properties

Yi, Juan, Zhao, Zongyan, Wang, Yu’an, Zhou, Dacheng, Ma, Chenshuo, Cao, Yuechan, Qiu, Jianbei

Журнал:

Materials Research Bulletin

Рік:

2014

Мова:

english

Файл:

PDF, 397 KB

english, 2014

Program verification and testing technologies

Tiziana Margaria,Zongyan Qiu,Hongli Yang

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2014

Мова:

english

Файл:

PDF, 98 KB

english, 2014

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode

Wang, Shengyi, Qiu, Zongyan, Qin, Shengchao, Chin, Wei-Ngan

Рік:

2010

Мова:

english

Файл:

PDF, 267 KB

english, 2010

[IEEE 2009 9th International Conference on Quality Software (QSIC) - Jeju, Korea (South) (2009.08.24-2009.08.25)] 2009 Ninth International Conference on Quality Software - Towards Scalable Compositional Test Generation

Sun, Tao, Wang, Zheng, Pu, Geguang, Yu, Xiao, Qiu, Zongyan, Gu, Bin

Рік:

2009

Мова:

english

Файл:

PDF, 316 KB

english, 2009

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Inheritance and Modularity in Specification and Verification of OO Programs

Yijing, Liu, Ali, Hong, Zongyan, Qiu

Рік:

2011

Мова:

english

Файл:

PDF, 273 KB

english, 2011

Polymerizable complex synthesis of BaZr1−xSnxO3 photocatalysts: Role of Sn4+ in the band structure and their photocatalytic water splitting activities

Yuan, Yupeng, Zhao, Zongyan, Zheng, Jing, Yang, Ming, Qiu, Lingguang, Li, Zhaosheng, Zou, Zhigang

Журнал:

Journal of Materials Chemistry

Рік:

2010

Мова:

english

Файл:

PDF, 400 KB

english, 2010

[IEEE 2010 Fifth International Symposium on Service Oriented System Engineering (SOSE) - Nanjing, China (2010.06.4-2010.06.5)] 2010 Fifth IEEE International Symposium on Service Oriented System Engineering - A Framework for Integrating Human Processes with Business Artifacts

Zongyan, Qiu, Liyang, Peng, Hongli, Yang

Рік:

2010

Мова:

english

Файл:

PDF, 209 KB

english, 2010

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Analysis of WS-BPEL Processes in PRISM

Deng, Chen, Yang, Hongli, Liao, Husheng, Sun, Meng, Qiu, Zongyan

Рік:

2011

Мова:

english

Файл:

PDF, 200 KB

english, 2011

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Towards an Axiomatic Verification System for JavaScript

Qin, Shengchao, Chawdhary, Aziem, Xiong, Wei, Munro, Malcolm, Qiu, Zongyan, Zhu, Huibiao

Рік:

2011

Мова:

english

Файл:

PDF, 263 KB

english, 2011

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - Reasoning about Channel Passing in Choreography

Yang, Hongli, Cai, Chao, Peng, Liyang, Zhao, Xiangpeng, Qiu, Zongyan

Рік:

2008

Мова:

english

Файл:

PDF, 198 KB

english, 2008

[IEEE Comput. Soc 11th IEEE International Conference on Engineering of Complex Computer Systems - Stanford, CA, USA (15-17 Aug. 2006)] 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) - Integrating timed automata into tabu algorithm for HW-SW partitioning

Geguang Pu,, Zhang Chong,, Zongyan Qiu,, Jifeng He,, Wang Yi,

Рік:

2006

Мова:

english

Файл:

PDF, 221 KB

english, 2006

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Enforcing Constraints on Life Cycles of Business Artifacts

Zhao, Xiangpeng, Su, Jianwen, Yang, Hongli, Qiu, Zongyan

Рік:

2009

Мова:

english

Файл:

PDF, 263 KB

english, 2009

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - Verifying BPEL-Like Programs with Hoare Logic

Luo, Chenguang, Qin, Shengchao, Qiu, Zongyan

Рік:

2008

Мова:

english

Файл:

PDF, 209 KB

english, 2008

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - A Formal Model of Human Workflow

Zhao, Xiangpeng, Qiu, Zongyan, Cai, Chao, Yang, Hongli

Рік:

2008

Мова:

english

Файл:

PDF, 231 KB

english, 2008

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Constructing hardware/software interface using protocol converters

Shengchao Qin,, Zongyan Qiu,, Jifeng He,

Рік:

2001

Мова:

english

Файл:

PDF, 612 KB

english, 2001

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Locating fault-inducing patterns from structural inputs

Guo, Hai-Feng, Qiu, Zongyan, Siy, Harvey

Рік:

2014

Мова:

english

Файл:

PDF, 535 KB

english, 2014

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Commutability of Design Pattern Instantiation and Integration

Dong, Jing, Peng, Tu, Qiu, Zongyan

Рік:

2007

Мова:

english

Файл:

PDF, 280 KB

english, 2007

[IEEE 2006 IEEE Design and Diagnostics of Electronic Circuits and systems - Prague, Czech Republic (April 18-21, 2006)] 2006 IEEE Design and Diagnostics of Electronic Circuits and systems - An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem

Pu Geguang,, He Jifeng,, Qiu Zongyan,

Рік:

2006

Мова:

english

Файл:

PDF, 110 KB

english, 2006

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - A Generic Model for Confinement and its Application

Wang, Shuling, Qiu, Zongyan

Рік:

2008

Мова:

english

Файл:

PDF, 211 KB

english, 2008